val f: Boolean => Boolean